let get () = !proofmode