Coffee With 91S: Virtual Formal Networking