the non-finite construction is both role-relinking and role-manipulating; only with controlled argument
