Code Editor : specification.py