Formula: {Minimum_Distance_xi = 0}

Description:
~ Xi is at Base4Xi, distance from Base4Xi to Xi is zero
Related_Formulas:

Analysis:

catch ~Minimum_Distance_XCopter ~Xi!