Input (grade 7): If these witnesses can not be produced then the punishment can not be carried out.
Output (grade 9): If these witnesses can not be produced then the punishment can not be executed.