small identity comments on Richard Ngo’s Shortform