 Modal first-order (i.e., quantified modal) logic is perhaps one of the most intriguing multi-modal systems, as the combination of quantifiers and modalities raises several interesting questions. Here we will discuss briefly two important points; readers interested in a further discussion are referred to the SEP discussion on  quantified modal logic  by Garson (2018).