But then you have to link everything. Also, not all retractions will invalidate dependencies, so each cascading dependency (that will greatly increase in number) will need to check if the retraction affects their claim. Maybe they modify it. Now a dependency on that has to check if the modified claim still warrants invalidation. This is where the “implementable” problem comes in.