Chronologie: A Logic Named Joe Leinster