Rump session talk for ANTS XI