new functions 'Cov' and 'Cor'; new utility function 'assert'