\v=20
\v~=\w because|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w any|x-occurrence="1" x-occurrences="1"\w* \w flesh|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w justified|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w works|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w law|x-occurrence="1" x-occurrences="2"\w* \w before|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*; \w for|x-occurrence="1" x-occurrences="1"\w* \w full|x-occurrence="1" x-occurrences="1"\w* \w awareness|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w sin|x-occurrence="1" x-occurrences="1"\w* {\w is|x-occurrence="1" x-occurrences="1"\w*} \w through|x-occurrence="1" x-occurrences="1"\w* \w law|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p