Add one more theorem for the square.
Compare various formalutations of the collapse