rule 9 double execution