P has output c iff c is a participant in p, c is present at the end of p
output ofro
has participantro