When writing PDTs, commence the sentence with
“That the system/entity may/may-not….”
Write this in defect oriented form.
Write each PDT as a sentence.
Do not be verbose.
e.g.
That the system may accept data out of bounds.
That the system may leak resources.