ilog: rework