The frame property is evil; prefer bounds