This collection of Marcus's non-technical essays includes her ground-breaking axiomatizations of quantified modal logic.