toy models and first order logic