  We use a variant of Wan's method to prove two Ramanujan-Orr type formulas for
$1/\pi$. This variant needs to know in advance the formulas for $1/\pi$ that we
want to prove, but avoids the need of solving a system of equations.
