New: satisfies