This document discusses the increasing complexity of society and government policies and regulations. It argues that the complexity has led to problems like citizens and businesses losing track of which rules apply to them, increased administrative burden, and difficulties for politicians developing effective policies. The document proposes that using technology to convert laws and regulations into formal models could help increase transparency and allow citizens, businesses, and government agencies to better understand how policies apply in specific situations. This may help reduce skepticism about government and engage citizens and businesses in policy development. Four research tracks are proposed to further explore using policy modeling.