Proof of not-insane