Can be derived by counting...