Just about done with TypeSig