@atoponce oddly enough initially I was thinking of the definition/theorem numbering format where 9.11 is bigger than 9.9.