1	import Base
2	
3	# What the system must satisfy without designing: it is open source; it runs on a provider's cloud.
4	type Constraint is Data:
5	  OpenSource{}
6	  RunsOn{provider: String}