Description: Introduction of conjunct inside of a contradiction. Would be used in elfvov1 . (Contributed by SN, 18-May-2025)