A computational system for analyzing economic mechanisms