Изменения

## Оформить нормально источники информации

## Исправить багу с примечаниями

# [[Интерпретация булевых формул с кванторами как игр для двух игроков]]

#: вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось)