• All nodes have exactly 0 or 2 children