Definition of "theorises"