Strict Binary Tree Definition