the parallel composition is done