سيكون حساب الاستدلال هو عبء العمل السائد.