Two versions of an arithmetical completeness theorem for variants of modal theory with witness comparison symbols are presented.
