¹¹See section B for details.