canSatisfy