Algorithmic judgment is more efficient than the human variety.