[ljw_dev]

It's implied. The comment mentions code correctness and, per the article, this comes from "the extensive code auditing performed on the base system".