theory2 (27.22 Elementary)