@admitsWrongIfProven meaninglessness can be very meaningful.