aleph_four comments on ike’s Shortform