Title: Big O and Sir Glory, or, Leisure to laugh