Making the software small makes it possible to make the software highly reliable.