reverse-with-cones (1)