  An extension of the bimetric theory of gravity is considered that includes
quadratic Ricci curvature terms associated with each metric. The issue of the
Boulware-Deser ghost is analyzed. The Hamiltonian constraint is derived and the
existence of a secondary constraint is shown, proving that the theory is
ghost-free.
