logI = constraint