[cratermoon]

"The EARS format (Easy Approach to Requirements Syntax) turns natural language requirements into structured, testable statements."

Yes, that's called "programming", as Dijkstra explained https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667...