xpym comments on Nisan’s Shortform