Write about `kind-of-proof'