Situation: Mars is larger than Mercury.