my quibble (which I nicely obfuscated) was with saying specifically "I have a negative idiolect which includes f**k and etc."

as to your software example, the apposite requirement should read:
the function shall clear the variable n before returning.
this is readily testable, whereas:
the function shall not put a value in variable n
would be extremely ambiguous!