I'm pretty sure that the following behaves incorrectly (at least, in my mind) because of some trut