Comment Comment by tgv A normal tree would be easier to read eq mul pow a a a 2 parent tgv 1 year ago