それはnanを構成する式の段階との話ですかね