tie-closure

X