add #satisfies method