You really think this is the appropriate time for puns?