How Portability Works for the Federal Estate Tax