satisfies operator