તેમણે અપ લાઇન અને લોજિકલ ક્રમમાં એકબીજા અનુસરો બધા પ્રમેયો આદેશ આપ્યો હતો.