they need `pip install inf`!