Glad you liked it. I mentioned in another comment, I am really emphasizing modeling the problem mathematically, not really using formal programming methods lik

Glad you liked it. I mentioned in another comment, I am really emphasizing modeling the problem mathematically, not really using formal programming methods like lambda calculus. Sounds like you got my idea!