Finished EffSTL