llrdjudes att k x » a: