(but faster)