tying_tosfot