Decidability does not require trust. It requires decidability, and decidability alone.