If you were to play Devil's Advocate, couldn't you pass this (and most of the other tests we're still discussing) by invoking `IsSatisfiedBy` and then ignore the return value?