✏️ Editing: hasproperty.py