Janic, K. A Case Study of the P Demotion Operation. FCILL 2020, 56-92.