j : boxer. a tool for building nested boxes (trees)