Add TwoIsOne and AreInOrder