x: a x: b