Let matrices $A, B$ be positive semidefinite. Can we prove that $A(I+BA)^{-1}$ is positive semidefinite?