https://datadosen.com/map-bms/Provability_logic