more high-level things