let
is_none () = (!proofmode =
No
)