Tinky-Winky versus Set