Tom Ritchford·FollowFeb 13, 2023--ShareTrivia note: `puts` originally comes from PL/I, invented in the 1960s