#the completion backward principle