(pr 0.)