thm production

@thm