That's not coding the solution though, that's exploring the problem. Obviously it's helpful to formalize the problem! This is no different from manipulating m

That's not coding the solution though, that's exploring the problem. Obviously it's helpful to formalize the problem! This is no different from manipulating mathematical equations on a piece of paper. =)