WhiteNoise's Highlights on 'Meaning of symbols $\vdash$ and $ \models$' | Glasp