( expr.name(*\a,); \q.z(a, *aleph,); )