તેમ છતાં તેમણે આ કાયદાઓ શોધી શક્યા ન હતા, તેમ છતાં તેઓ આ વિધાનોને ઔપચારિકપણે રજૂઆતના તર્કમાં ગાણિતિક સૂત્રનો ઉપયોગ કરીને રજૂ કરતા હતા.