Able to prove up to the last step of Method 3 in the false belief task paper.