An abstraction can be implemented in infinitely many ways, if you extract the definition of the abstraction from a finite collection of foreseen implementations, you run into the risk of leaving some unforeseen (or not yet foreseen) implementations out, to the point that these implementations cannot fit the abstraction and the is a relation can no longer hold in practice, even though it should i