Title: The design of formal scripts