Dear colleagues, a new paper "A Lower Bound for Polynomial Calculus with Extension Rule" is available on arxiv.org: https://arxiv.org/abs/2010.05660. Any corrections, suggestions, and comments are welcome. Best regards, Yaroslav Alexeev