B:a\:a (f) = z:b:an: (f)
language