Assume BooleanType exists