refactoring: afterCheck concatenate p and pc