sentence1: this construction is necessarily different from , since we can not argue by induction on modal rank in the presence of fixpoints .
sentence2: this model construction is substantially more involved than that given in , since we can not argue in terms of modal rank in the presence of fixpoints .