pochi altri commenti. (N->N)->N è mal definito