:nat :nat :nat :nat