2024 Fall (Version 1dot5 of Feb.24 workshop)