Jensen's Device is this fun (though slightly bananas) programming technique for call-by-name programming languages. Note how we're iterating over V[i] in this example!