Title: Rigor Made Easy