Reasoning about government and social order