Text this: Intuitionistic Frege systems are polynomially equivalent.