RRW asked for where the Gra discusses the Rambam's methodology (and how he related to the Y-mi where the Bavli had sevara, not a quoted pesaq). It's at OC 335. It will be interesting to contrast with RRW's source, the Bach on the Rambam's attitude toward shaqla vetarya: EHE 6. Tir'u baTov! -Micha