All the intermediate logical steps are supplied, without exception.
すべての中間的な論理段階が示され、例外はない。