In my argument, in the process of editing, statement E was lost so instead of \"if E and F then G\", this line should read, \"if D and F then G\".