fixed logics