Joe Carlsmith comments on Clarifying inner alignment terminology