descriptive complexity theory: motivation & fagin's theorem