lukeprog comments on Mental Context for Model Theory