seqAlgebra
validation