Implement `satisfies?`.