context 'component 
inv : 'self . 'connectsTo -> forAll ( 'c | 'c . 'type == # "server" )