Redirecting to struct.type_op_prove_predicate.html...