+1 Interesting! I'm wondering if the rules can be generated automatically instead of listed by hand - it could then prove to be a helpful way to "explain" and generalise the discovery process that gave us modern integration methods.