Follicle flushing in monofollicular in vitro fertilization almost doubles the number of transferable embryos

Follicle flushing has been proved to be ineffective in polyfollicular in vitro fertilization. To analyze the effect of flushing in monofollicular in vitro fertilization we aspirated and then flushed the follicles in 164 cycles. Total oocyte yield/aspiration was 44.5% in the aspirate, 20.7% in the 1(st) flush, 10.4% in the 2(nd) flush and 4.3% in the 3(rd) flush. By flushing, the total oocyte yield increased (p < 0.01) by 80.9%, from 44.5 to 80.5%. The total transfer rate increased (p < 0.01) by 91.0%, from 20.1 to 38.4%. The results indicate that the oocyte yield and the number of transferable embryos can be increased significantly by flushing.

Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.