(NF1) def