Full Binary Tree Properties