invalid laziness, obviously. I'll change this :)