high-level assertions