formalization of linking task