Struggling with multi relations

[nmacedo]

Hi.

Yes, once you pass a formula to a run command the first parameter becomes just a label for that command (the same applies with checks and asserts).