WhiteNoise's Highlights on 'What is the difference between total correctness and partial correctness?' | Glasp