What is a logarithm? — AI Alignment Forum