Compact tree of Jon Jönsson