Update status
Add another version of Smith's correctness paper