Encapsulate properties and test highlighter (a problem is uncovered)