બીજા શબ્દોમાં કહીએ તો, આ સિસ્ટમ્સ ક્યારેય પોતાની સુસંગતતા અથવા અસંગતતાને સાબિત કરી શકતા નથી.