modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
employee savings plan: a plan that allows employees to contribute to an investment pool managed the employer