https://proof-before-you-proceed.beenis.net/https://proof-before-you-proceed.beenis.net/docshttps://proof-before-you-proceed.beenis.net/resourceshttps://proof-before-you-proceed.beenis.net/resources/topological-certificatehttps://proof-before-you-proceed.beenis.net/resources/counterexample-certificate