Procedures/test-cases in SeqZap are implemented using procedure steps, normally just referred to as steps.