Rejigger the steps on 10's proof