[Air-L] Can an algorithm be wrong?