Title: Hopkins and Underwood's new arithmetics