Comment on Why do we still joke about setting up old wooden guillotines?