Also outer product spaces apparently always only have positive semi-definite elements?
a Schelling point for those who seek one
