Groups definable in two orthogonal sorts