Return proven