x » a * a ufcat