Added Elem proof library.