A Procedural Characterization of Solution Concepts in Games