 seems false. The truth value of these is not just settled by whether the antecedent is necessary. They seem to be about pieces of steel and how they relate to each other. Which blocks of steel have which shapes is not just about us and our representations. It would not be even if steel could take shapes that it in fact cannot.