Opening VeriLogs…