http://www.monnet-project.eu/lemon#canonicalForm

used by 2: