Is it true that Portugal regained its independence in 1640 thanks to revolting at the same time as Catalonia, and forcing Spain to choose which one to deal with and which one to let go?