some basic tests of boolean thunking