open questions about correctness in the readme