it's probably better to test the prelude in python, so update docstrings