P ^ L [] A = Y