For that purpose, it's kind of like the thing that I've seen some computer science teachers do, where they ask students to tell them how to make a peanut butter

For that purpose, it's kind of like the thing that I've seen some computer science teachers do, where they ask students to tell them how to make a peanut butter and jelly sandwich. The teacher then tries to follow the instructions as literally as possible, without making any common-sense assumptions, usually with comical results. (For example, the teacher won't open the jars unless the student's instructions specifically said to do so.) I think there's a lot of potential value in appreciating how informal the instructions we usually give other people are, and how much additional work and concentration it will take to fully formalize a set of instructions.