let h2 t = h '-' t