I was hoping to see it detect loops that sum something and translate it into sigma notation but that's ambitious... Very cool, regardless - I'll be using this a lot!