under P:v 2^ a.