Workshop #1 and #1-bis Book Construction (July 17, 2023)