study more about type nats.