Added sequence_equal