The second one :nat