I think this was meant to have read as "provably always pure", not "probably always pure."