ProgramCrafter comments on Closed Limelike Curves’s Shortform