Why You Keep Having the Same Argument: Proof Languages in Love | The Modern Shrine