that surely might be a... diversion from boring work, but fun? fun is something else