all sections complete. TODO: update semantics