boolean examples and Univ_Reals