The top-level reduction