Absence of proof of superpolynomial lower bounds is not equivalent to absence of superpolynomial low...