a logical sequence