Jaime Sevilla Molina comments on A primer on provability logic