gjm comments on Very Basic Model Theory