Re: [tdwg-tag] Potential rigorous frameworks for TAG