allowed for random Sym^0 valued element