Able to prove up to Step 4 of Method 2 in the false belief task paper.
Able to prove up to Step 7 of Method 3 in the false belief task paper.