B
←
AvoidSingularity Function
Base Statement
→