Copied in to check my solution, no longer necessary.