Updates on verification