small refinements
some refinements
add slides regarding branching