proof-step inside backward (interim) solution