We develop a wide general theory of bilinear bi-parameter singular integrals $T$. This includes general Calder\'on--Zygmund type principles in the bilinear bi-parameter setting: easier bounds, like estimates in the Banach ...