 Restriction allows us to define narrower modal properties from broader ones. For example, it seems natural to define a proposition’s being mathematically necessary as its being both metaphysically necessary and a mathematical truth (Fine 2002, 255), or as its being metaphysically necessary because it is a mathematical truth. Maybe a proposition’s being logically necessary can similarly be defined as its being metaphysically necessary because it is true in virtue of the natures of the logical constants (Fine 1994, 9–10; 2005, 237). (For a very different account that does not define logical necessity from metaphysical necessity by restriction, see Bacon 2018.)