it's not just theory.
each message has a particular secret.
that secret is derived from other secrets including your nsec.
forward secrecy means that an attacker can't find the next secret from the previous.
post compromise security means that an attacker can't unravel the backwards path either...