રીડર કોમ્પ્યુટર મોડેલિંગ, પ્રૂફ સિદ્ધાંત વચ્ચે સમાંતર દોરવા મુશ્કેલ રહેશે નહીં, અને તેથી પર.