Products of $H$-separable spaces in the Laver model.

We prove that in the Laver model for the consistency of the Borel's conjecture, the product of any two $H$-separable spaces is $M$-separable.