This is related to Python Programming theory paper.