[cbc] Correctness by Construction: connection data for today's lecture