Advances on method contracts.