you assume that all nodes have either zero children or three children