w[2	[A],>	0[A],>[B]]