enunciation


setting-out


definition or specification


construction or ⟶ machinery ⟸


proof


conclusion