Metacogntion: Define the knowns

Tricky to do in real life, in computer science, that doesn't have to be the case