A 2x2 square's predecessor is not necessarily a 2x2 square - many patterns will evolve to a 2x2 square.

This conjecture is anout patterns whose predecessor must be the same pattern, which means they cannot be constructed by colliding gliders.