Progress in 2 months of forcing and a few questions

 

v20240901