Ok now so there are a couple of things that we need:
- Two wide columns, one for Self and one for Not Self
- Each wide column is split into Origin and Receipt
We know that:
- Time-Track runs from bottom to top
Then Not-Self/Origin from top to bottom can be filled in by going round the package and each leg starts with Overt followed by Game:
- Must Be Known (Overt)
- Must Be Known (Game)
- 2 empty rows
- Mustn't Be Known (Overt)
- Mustn't Be Known (Game)
- 2 empty rows
- Mustn't Know (Overt)
- Mustn't Know (Game)
- 2 empty rows
- Must Know (Overt)
- Must Know (Game)
- 2 empty rows
The Self/Origin is the upside-down version of what we just filled in at Not-Self/Origin.
Overts are complementary postulates, Games are opposing postulates, so now we can easily fill in the receipt points.
Done