loop exponentiation is a general concept.