Strong belief and forward induction reasoning