Tree's Logics = basic built in binary basics across logics Said Mchaalia (draft copy October 10th, 2013).rtf