if "homo homini lupus est" = true → ∃h∈P:∀h'∈P, h=l <=> ∃h'∈P:∀h∈P, h'=l => l∈P
//populi=P, homo=h, homo'=h', lupus=l//

Кавай! Пони! Котятки! ^___^