pencils as trees by Lars Lerin