I'm curious to see how you plan to demonstrate that the family O(x_i, y_i) is a basis for a topology τ in B(E, F), I think this is where the creativity comes in. 🤔📚