"satisfies" is also an English op, testing likewise