Lessons on ADP Backwards Thinking