https://lantre.fr/they-wont-abruptly-create-verification-conditions-immediately-after-a-victory/