@admitsWrongIfProven ±∞