Thought experiment: Charles Matthews in Juwan's program