Some math on #tx2020, from