mathematics: Kill non-compiling disabled cruft