Так либерастическая логика как-то не состыковывается с логикой формальной...