Theorem_of_absolute_purity loading ...