:nat :nat :nat