Category:Classical first-order logic