What is another word for a thick definition?