Constructibility requirements, as Blum's axioms show, are not purely formal but encode substantive c...