[1 5 3 2] { = } forall
(abc) { = } forall