:nat can have it anywhere