rationale and details refocus from primary distribution method to the tool for incentivizing neural proofs and reach aos goals