 Lehmann and Magidor (1992) prove that the system R of rational reasoning that is obtained by adding the following rule of Rational Monotonicity to the above set of rules is complete with respect to ranked models.