Title: The structure of fixed-point logics