$SEI podle mě hledá únik. NFA.