Decorated Trees

Decorated trees