{ a : Natural }