Writing specs validates the translation is being done properly? Was this written by an LLM?