Made it a little more like the concept proof