https://blog.sam-bee.com/posts/complexity-theory-and-logarithmic-bases/