Typing Certificate discussions