At an international meeting in Warsaw devoted to new challenges in ab initio molecular theory, Trygve Helgaker presented recent advances in the variational formulation of molecular properties within electronic-structure theory.