documentation in paideuo.py's header : known cases