Let's say that Anthony Richardson is back at the start of training camp, or early into it. The Colts have already said that ...