Statement sequences