Exactly what we wanted

Rounded Edge was able to provide exactly what we wanted literally from the first proof.