At MonoVM we provide you with the underlying facts, assumptions and rules which a computer system has.