Currently we have no way to specify which tuple we want to refere to in unary checks. How can we realize this? Do I miss something?