x.({ a : Natural, b : Natural })