Modify thm