The code in question is available upon request.