1	import Base
2	import ../../general/rose/ops.bend as RO
3	import ./type.bend as A
4	import ./ops.bend as O
5	import ./system/type.bend as S
6	import ./environment/type.bend as En
7	import ./LAWS.bend as Laws
8	
9	def Laws.first_key_is_system(a):
10	  match a:
11	    case A.Architecture{s, env}:
12	      match s env:
13	        case S.System{k, n, d, cs, ns, r} En.Environment{ps, xs, ks, inv, ag}:
14	          {==}