Fixed sequence length assertions