First-Order Logic related domains (1)