fudforum/setup/base/thm
