 One important difference between parameterization (in particular, temporalization) and constrained fibring is the degree of symmetry: the parameterized language and inference rules are intrinsically asymmetric, while this is not the case of constrained fibring.