In other words, if we write rules for the creation of well-formed structures; we have to check that these rules when applied logically, would not lead to ill-formed structures; that means, when we are trying to frame certain rules, these rules should be able to a like should have the ability to check that in case of logical applying, it will not create any ill-formed structures.
வேறு விதமா சொன்னா, நன்றாக அமைந்த ஒரு கட்டமைப்புக்கு நாம இந்த விதிகளை எழுதினா, அந்த விதிகளை நாம செயல்படுத்தும்போது தவறான கட்டமைப்பு ஏற்படாம பார்த்துக்கணும். அதாவது, நாம் சில விதிகளை ஏற்படுத்த முயற்சி செஞ்சா, அந்த விதிகள் எந்த விதமான தவறான அமைப்பையும் ஏற்படுத்தக்கூடாது.