<= Prisoner participants X =>