Reification of nat