Found conceptual bug about what makes null trees.