Bao Zheng Solves the Case of the Ox