proversification