Should We Simulate Mental Models to Assess Whether They Agree? | AMiner