Mathematical reasoning may be regarded…