+ tail tip refinement and appendices