Binary Trees: Definitions