tailcalled comments on How Do We Align an AGI Without Getting Socially Engineered? (Hint: Box It)