theorem :: TAXONOM2:7

{{}} is hierarchic