prove extensions of bool are consistent, cheating existence of model