All right, it’s getting out of hand now:

“Derb—Since his space is well-secured, Hilbert is clearly a bounded operator, so does he have a nontrivial invariant subspace?”