Убермаргинал: перевод утверждений на формальный язык

Published --