Logics basically finished