to tie

.