Roman Leventov comments on Mitchell_Porter’s Shortform