Certified Extensions