Metacelsus comments on TsviBT’s Shortform