Anonymity
	n A more involved example: P =Ý p1.m -> a -> StopÝ []Ý p2.m -> a -> Stop ÝÝÝÝÝ ||{p1.m , p2.m } ÝÝÝÝÝ p1.m -> b -> StopÝ []Ý p2.m -> c -> Stop Question: Does P provides anonymity wrt A = {p1.m, p2.m}