[dependenttypes]

Signal has perfect forward secrecy though. I am unsure how that could be achieved if phone 1 sends a message, the phone gets disconnected and then phone 2 connects to it.