define formal expansions closes #3