Kanuni ya makisio ya waya huzuia pamoja katika grafu ya uthibitisho, kulisha majengo kupitia sheria hadi nodi ya lengo iwake kijani.
Ubao huanza na vizuizi vya majengo yako na lengo. Chagua sheria ya uelekezaji kutoka kwa palette, kisha ubofye vizuizi vya ingizo inayohitaji; ikiwa zinafaa, sheria hupata kizuizi kipya kilicho na waya kwa pembejeo zake. Sheria za mnyororo hadi ufikie lengo. Ili kuthibitisha maana, ongeza dhana na uiachilie kwa utangulizi wa kudokeza.
Wirelogic imejengwa juu ya makato ya asili, na kubadilisha sheria rasmi za uthibitisho kuwa fumbo la waya.
Kuanzia vitalu vya dhana za msingi na kufikia lengo kwa kuchagua kanuni za uelekezaji ni ukisiaji rasmi, desturi inayoanzia sillojizimu ya Aristotle hadi mifumo ya kisasa ya uthibitisho.
Undani wa muundo unaofundisha kitu ni kwamba kanuni huwaka tu ikiwa maingizo yake yanatoshea kwa kweli.
Hiyo ndiyo tofauti nzima kati ya kufikiri na kudai tu. Hoja inayohisiwa kuwa sahihi lakini hailingani na umbo la kanuni yoyote halali ndilo hasa kosa ambalo mantiki rasmi ilibuniwa kulinasa, na kutoweza kulazimisha muunganiko kuna mafunzo zaidi kuliko kuwekewa alama ya kosa.
Wirelogic ni mchezo asilia wa kimantiki wa kivinjari usiolipishwa uliojengwa juu ya ukato wa asili, unaogeuza sheria rasmi za uthibitisho kuwa vizuizi vinavyoweza kuunganishwa ili muundo wa hoja halali uwe kitu unachoweza kuona na kujenga.