reformatted for brevity