found that our formalism is extremely elegant (R2) and perfectly unifies the prior methods (R3), and that our analyses