Bounded modular functionals and operators on Hilbert C*-modules that are regular

We find first structural background information about the reasons that for any C*-algebra $A$ and any two Hilbert $A$-modules $M\subseteq N$ with $M^{\perp }=\{0\}$, every bounded $A$-linear map $N\to A$ (or $N\to N)$ vanishing on $M$ might be only the zero map. The self-adjoint case is proved, whereas the general case is open with partial insights. Unfortunately, the proof of Lemma 3.3 of our first version contains the implicit assumption that the projection $P$ and the operator $S$ commute, which is not the case for non-zero non-self-adjoint operators $S$.