assert : Bool