Title: The lucubrations of Humphrey Ravelin