todo: \bmod is a binary operator, so no-fix
todo: cleveref not worth it
cls: include compilation timestamp
zt: various changes