Redirecting to fn.substitute_normalize_and_test_predicates.html...