into: exhaustive test docstring