Derp, precondition() for delete()