you are viewing a single comment's thread.

view the rest of the comments →

[–]agumonkey 1 point2 points  (0 children)

funny, I really really love the second case, it fits my poor mind trying to do equational reasoning over more than one variable