context Purpose
inv: self.title.getListStringValues()->forAll(st : String |
	self.title.matches(st, '.*(purpose|Purpose|PURPOSE).*') 
)