Topic: leak verification