1 agent, abstract, intro, W-F example, neigh. completeness, conclusion