(bkz: John Hasbrouck van Vleck)