move specification section from dogen manual