theorem truth_fixture : True := True.intro