all changes that Isabelle needs and wants part un