p-model logic force mc donald