I shall explain how the pseudo-holomorphic quilt techniques of Wehrheim and Woodward yield of proof of Homological mirror symmetry for products, assuming mirror symmetry is known for both factors, and stringent conditions are imposed on the behaviour of holomorphic curves. The current conditions are so stringent that the only application is a proof of Homological mirror symmetry for T⁴. An application to Lagrangian embeddings in T⁴ will be deduced. This work was done jointly with Ivan Smith.