¿Alguna vez Augur construyó una implementación de L2?