Support set-logic