The unavoidable price of reliability is simplicity. — C.A.R. Hoare