Some progress in lemma 10.5.6 + used bullets everywhere