assert_body first pass implementation