:nat :magnum