Nullity comments on leogao’s Shortform