sdn.tex: verifying fwing plane connectivity