ઔપચારિકરણ, માનકીકરણ અને પ્રક્રિયાઓ અને ચમત્કારોના પ્રોગ્રામિંગ.