a|P[\* Pa|P[\* PP\* PP!