Bass–Quillen_conjecture loading ...