Boolean logic seems rational enough