nbs
assume
を参照してください。