\v=13
\v~=\w for|strong="G1063"\w* \w until|strong="G1722"\w* \w the|strong="G1722"\w* \w law|strong="G3551"\w* \w sin|strong="H2403"\w* \w was|strong="G1510"\w* \w in|strong="G1722"\w* \w the|strong="G1722"\w* \w world|strong="G2889"\w*; \w but|strong="G1161"\w* \w sin|strong="H2403"\w* \w is|strong="G1510"\w* \w not|strong="G3756"\w* \w imputed|strong="G1677"\w* \w when|strong="G1161"\w* \w there|strong="G1161"\w* \w is|strong="G1510"\w* \w no|strong="G3756"\w* \w law|strong="G3551"\w*. 
\¬v