Здравствуйте, Programmierer AG, Вы писали:
PA>Если выражение пререписать как if (N==el) then true else isthere или совсем по-человечески — (N==el) or isthere, — то рассуждения будут правильными.
PA>Вроде, я нигде не наврал. 
Про скобки наврал, а остальное, вроде, правильно.