If undecidability were necessary for freedom, the morally virtuous agent—who acts rightly with least...