( 1 * / a dag .)