Hello! I've tried the following example (from wiki): \starttext \startsubformulas[eq:1] \placeformula[eq:first] \startformula c^2 = a^2 + b^2 \stopformula \placeformula[eq:second] \startformula c^2 = a^2 + b^2 \stopformula \stopsubformulas Formula (\in[eq:1]) states the Pythagora's Theorem twice, once in (\in[eq:first]) and again in (\in[eq:second]). \stoptext I get "Formula (??) states the Pythagora's Theorem twice, once in (1) and again in (2)." In log I see 'unknown reference [][eq:1]'. I also have label/ref problem with theorems. I define \defineenumeration[theorem][text=Theorem,location=serried,right=.] Later I use \starttheorem[thm:bony:random:open] ... \stoptheorem, \in{theorem} [thm:bony:random:open], and get just 'theorem' instead of 'theorem 1'. -- Yury G. Kudryashov, mailto: urkud.urkud@gmail.com