technique-0.2.5: Procedures and Sequences