Analysis of strategic knowledge used in Back of the Envelope Reasoning Praveen Paritosh Ken Forbus QRG Meeting, 8 th March 2005.