  We formulate a conjecture which generalizes Darmon's "refined class number
formula". We discuss relations between our conjecture and the equivariant
leading term conjecture of Burns. As an application, we give another proof of
the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and
Rubin.
