Public service announcement to hopefully reduce unnecessary knife fights*: There are two compatible and important (but different) questions in play: 1. Is a p

Public service announcement to hopefully reduce unnecessary knife fights*: There are two compatible and important (but different) questions in play: 1. Is a program correct relative to a formal specification? 2. Is the formal specification what we mean/want? *: Worth asking: “What that other person necessarily wrong? Or perhaps they are discussing a different aspect or framing?” AKA: “be curious and charitable” I’m not going to link to the specific threads, but they are happened / are happening. Le Sigh.