Logics missing