@admitsWrongIfProven or perhaps “abstract”.