Raemon comments on [Linkpost] Jan Leike on three kinds of alignment taxes