% To translators: don't bother to translate this... english-only version.

\vspace*{1cm}

\begin{center}
\LARGE{} This is my own bulletin board \normalsize{}
\end{center}

\vspace*{1cm}

\begin{center}
My newer Discord server: \url{https://discord.gg/SefEezSHQ4}.
\end{center}

\vspace*{1cm}

\myhrule{}

\vspace*{1cm}

\begin{center}
This is a survey on google forms devoted to the book.\\

What programming language I should use in this book instead of Python?\\

What topics I should explore in the book? What i overlooked?\\

What tools I should explore in the book? What tools deserve more attention?\\

Please take a minute to send me comments: \url{https://forms.gle/D5ZwYTHhJmeHGYT87}.\\

TIA!
\end{center}

\vspace*{1cm}

\myhrule{}

\vspace*{1cm}

\begin{center}
\Large{} Advertisement \normalsize{}
\end{center}

\vspace*{1cm}

\begin{center}
My talk about SAT/SMT in Zoom in July-2021, \textbf{in Russian}:
\url{https://yurichev.com/news/20210716_SAT_SMT_Zoom/}.
\end{center}

