Mathesis universalis, a poetry collection by Ján Pich, published in 2016 by Literis, is now available for download (in Slovak). The poems in this book are based on the computational complexity theory, a field in theoretical computer science that focuses on classification of computational problems according to their tractability. This theory is used by the author to approach automatic poetry generation. The book will also be available in print.