Книги — formal semantics