First order theories