- â\88\80b,f,I,K2. ð\9d\90\94â¦\83fâ¦\84 â\86\92 â\87©*[b,f] L2 â\89\98 K2.â\93\98{I} →
- ∨∨ ∃∃K1. K1 ⫃ K2 & ⇩*[b,f] L1 ≘ K1.ⓘ{I}
+ â\88\80b,f,I,K2. ð\9d\90\94â\9dªfâ\9d« â\86\92 â\87©*[b,f] L2 â\89\98 K2.â\93\98[I] →
+ ∨∨ ∃∃K1. K1 ⫃ K2 & ⇩*[b,f] L1 ≘ K1.ⓘ[I]