renamed spec for logical AND token