Explicitly Defined Sequences