That made the code in fillWithMinOfChildren() easier. We lost an early out, though. But that should be negligible.