Introduction to step-indexing