સરળ ઔપચારિક બીજગણિત અને તર્ક દ્વારા માર્ગદર્શિત, તો તે પણ એક "વૃક્ષ અને" અને "વૃક્ષો અથવા" બિલ્ડ કરવા માટે શક્ય છે.