
$p := p_{02}$
