Discussing The Total State with Auron MacIntyre