a: A Nat