example : False := _

example : True := trivial

example : True := trivial