Provability Logic door