noproof :: Note
noproof = todo "There either is a proof missing here or a confirmation that no proof is required at all."
noproof :: Note
noproof = todo "There either is a proof missing here or a confirmation that no proof is required at all."
noproof = todo "There either is a proof missing here or a confirmation that no proof is required at all."