Criteria for uses(A,B)
	• A is essentially simpler because it uses B • B is not substantially more complex because it does not use A • There is a useful subset containing B but not A • There is no useful subset containing A but not B