Mnehmos/MathOS architecture