intrigueproof

not defined yet