Added things to definitions.py