Results for proof coding codingodingodingodingodingode