On 16/05/18 23:52, hancock at fastmail.fm wrote: > Or is there some reason why solid foundations and practical implementations > should not coincide? This is the right question. Martin