finish formalizing B1 part c