prove cheats in do_app_exh