[eigenket]

This is a beautifully and slightly ridiculously formal comment to read two comments deep in response to my comment beginning "In an informal sense".