Beyond Booleans