Daniel Lewitz defines m-gapped progressions