Resumes, credits, and references are available upon request.