Updated. New name for the seq operator.