Great post, I really enjoyed it. Norvig has a knack for modeling these domains in simple, powerful ways.