Our generalisation has been subsumed under a wider generalisation.
It would be possible to subsume these three points into one more general statement.