Public life can benefit enormously from arguments between popes and presidents.