>>712490636
>implying we don’t already know the 4th number