Reasoning about substructures and games