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