Title: The Theory and Practice of Social Machines