"ડૂ, રે, એમ" સિસ્ટમની ઔપચારિક વિચારને જાણવું