default P
refactorings