Why is mathematics considered the supreme judge?