Compact tree of Joseph Formanek