 is true and follows by free existential generalization from (GHS) together with the true premise ‘\(\rE!(\text{the sun})\)’. Thus free logic may play a role in reasoning that mixes fictional and literal discourse.