”Stable Matching under Forward-Induction Reasoning”