a^t . / P.a . / P.a ' 1?