projective add and double formulas