Use Satoshi's formula