Nition comments on Nition’s Shortform