General Purpose Computers have a tendency to be unreliable and the software running on them is of relatively poor quality. There is no intrinsic reason that general puprose computers should be like this. JasonCozens 15:28, November 2, 2009 (UTC) Hypothesis: To deliver guaranteed general purpose computing systems a new approach to designing and building such systems is required where the structure of both hardware and software is determined by the ability to prove the correctness, reliability, efficiency and affordability of every part of the system. (C) MMXII E.J.Cozens