Classical, first order, and advanced theories