But is the opposite true, and can you prove it by binary tree optimization?