Definition should include the concept that a sequence object