assertions for seq