[ A||  ||B ]
[ AB.0 ] --> [ CD.0 ]
[ C||  ||D ]