(does not yet work) try to rewrite code with explicit tupling