Included header for the special participle.