Progress on execute soundness