trying to fix boolean
more detail around church encoding of boolean