An implementation of the parallel conditional