Small theoretical optimization