improve context axioms; clarify some notation; omniscient context; cognition tweaks