Return to nfas