ИСТИНА

We prove that pro-p-presentations of pro-p-groups with a single defining relation are quasirational. We give several motivations of why simple pro-p-analogs of Lyndon Identity Theorem could not be true. We explain how our pro-algebraic machinery can be applied for inventing possible ”daemons” (destroying open problems).