X * a (§1