identicalInnerCondition