Definition of "Willems"