The THEOREMM Project