Kapittel 14 – Representasjon av kvantifiserte utsagn / Uttrykkskraft og kompleksitet