I really wanted delete a couple of days ago but it’s not necessary now. I will think carefully about what I’m going to post and check my notes many times before posting so that I won’t make any typos!