Beautified definition.py [I] (v11).