for S being Polish-language
for q being Element of S ^^ 0 holds decomp (S,0,q) = {}