@tomkalei@mathe.social I also like to use "resultoid" when the mathematical statement is not necessarily a precursor to a theorem.