An exponential lower bound on the size of primitive positive definitionдоклад на конференции