prop : Bool
prop = true