Given we are effectively modeling humans, and there is often plenty of room for misinterpretation in human natural language, we will see. There are good reasons

Given we are effectively modeling humans, and there is often plenty of room for misinterpretation in human natural language, we will see. There are good reasons things that 'must not fail' (i.e. civil engineering, accepted medical practice, etc.) are meant to go through rigorous formal review to get it both right and agreed on.