Explain order for NFA expansion