  The COVID-19 pandemic has influenced virtually all aspects of our lives.
Across the world, countries have applied various mitigation strategies, based
on social, political, and technological instruments. We postulate that
multi-agent systems can provide a common platform to study (and balance) their
essential properties. We also show how to obtain a comprehensive list of the
properties by "distilling" them from media snippets. Finally, we present a
preliminary take on their formal specification, using ideas from multi-agent
logics.
