[r-t] Odds & sods

[Leigh Simpson]

> Leigh said: "Just because something can't be easily described in a machine
> parse-able form doesn't mean it's invalid."
> 
> For the avoidance of doubt, I never said it was.

Well, you sort of did:

> The Libraries contain place notations which can be easily downloaded 
> into some sort of proving program. How would you libraryize a 'rules' 
> method?

What did you really mean then?

Leigh