By: Valentin Hirschi <valentin.hirschi@gmail.com>
Keep correctness-failure confirmation opt-in and retain exact bounds