simplify exposition