Results for axiomcodingodingodingodingodingodingodingoding