mathematical purity