TypeCheck Helmets