updates, mainly for sequencing abstractions