Verification before HC13