Criteria for Right J-rules
		What makes a J-rule system correct?