Nullity comments on jbkjr’s Shortform