diff --git a/flow/designs/ihp-sg13g2/i2c-gpio-expander/config.mk b/flow/designs/ihp-sg13g2/i2c-gpio-expander/config.mk
index 219ef27437..2e85545f27 100644
--- a/flow/designs/ihp-sg13g2/i2c-gpio-expander/config.mk
+++ b/flow/designs/ihp-sg13g2/i2c-gpio-expander/config.mk
@@ -44,5 +44,3 @@ export PDN_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NICKNAME)/pdn.tcl
 
 export BLOCKS = I2cDeviceCtrl
 
-export LEC_CHECK = 0
-
diff --git a/flow/platforms/ihp-sg13g2/config.mk b/flow/platforms/ihp-sg13g2/config.mk
index 88c2820633..3bd9248abb 100644
--- a/flow/platforms/ihp-sg13g2/config.mk
+++ b/flow/platforms/ihp-sg13g2/config.mk
@@ -170,6 +170,8 @@ export KLAYOUT_DRC_FILE ?= $(PLATFORM_DIR)/drc/sg13g2_minimal.lydrc
 export CDL_FILE ?= $(PLATFORM_DIR)/cdl/sg13g2_stdcell.cdl
 #export KLAYOUT_LVS_FILE = $(PLATFORM_DIR)/lvs/$(PLATFORM).lylvs
 
+export REMOVE_CELLS_FOR_LEC ?= "bondpad_70* sg13g2*"
+
 # ---------------------------------------------------------
 #  Final
 # ---------------------------------------------------------
diff --git a/tools/kepler-formal b/tools/kepler-formal
index 97cf895dad..8d74eb30df 160000
--- a/tools/kepler-formal
+++ b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit 97cf895dad8fcccdfe984c30faa787af6bc044ad
+Subproject commit 8d74eb30df93f2d73adf11b4a3438d5f34b95ce7