w[[AB,I	[],[w[[A_.w,\=\,\\1]],1]]