And that's just it. Thanks, @chrislehmann. http://practicaltheory.org