Logarithmic identities — AI Alignment Forum