Partial Verification Results