python
simplifications