Update the javadocs to use the new static method, and to use more accurate propositions.