1 problem

The conjecture. Birkhoff-James orthogonality is C-approximately symmetric in $X$ if and only if the local property (P) holds for each $x\in\operatorname{Ext} B_X$.