Tahp comments on Tahp’s Shortform