(pr .0)