> {c, {}} = tup; This can't be used, because having an empty tuple as second tuple item is valid. > {c, @~= tup; That was: {c, @~} tup; Bye, bearophile