 The thought is that it’s conceptually necessary that if trucks are essentially artifacts, then it’s necessary that any truck is an artifact; and it’s conceptually necessary that if the figure is a rectangle with sides of equal length, then the figure is a square.