By "vague", I meant natural language, since it is not as precise as code or formal specification.