Say what the word done means for the important items.
Testable acceptance criteria need not use any formal notation: a short list describing what must be true when the feature works is enough.