modify concept-formulator.py