a->N <==> a->a