forall s in subjects forall o in s.observers o->Update(s)
mark all observers to update update a!l marked obseryers