No answers by Trevor Pratt

...