Lead Logics