Prove-reading

...