Fixed the semantics of ALL.