`satisfies` Operator