RESTRICTED: Forward dependent / Leaked Tape - (PROOFS ATTACHED)