Based on Naur s Programming as Theory Building (1985) Asks agent to create a problem-theory artifact before writing code.