My claims are
1- Backward induction solution is Nash equilibrium solution.
2- Not all Nash equilibria are sequentially rational
3- All Backward induction solutions are sequentially rational
4- SPNE solutions are Nash equilibria
5- SPNE solutions are sequentially rational if game has at least one proper sub game. If only has improper sub game then it may not be sequentially rational.
6- PBE solutions are Nash equilibrium and SPNE
7- PBE solutions are sequentially rational no matter what.
8- WPBE solutions are Nash equilibria. And sequentially rational no matter what.
Are these true? What do you think? Anything want to add?