This is also where conditions go in languages with contracts, I like it