Certification typedef

Implementation

typedef Certification = $Certification;