Summary: 3 instances, 3 unique

Text	Count
// TODO: can we make this an invariant?	1
// TODO: I think we can prove that it's always true in the code block we are in	1
// TODO: I think we can prove that it's always true in the code block we are in	1