So apparently they translated the Jabberwocky into Latin. Three times.