Worked on proof step backward (interim) solution