life becomes joyous again when “a vector space is a module over a field”