pop tarts imply the existence of lock tarts