Symbol: seq_is_valid