Resource spending support in theories (and especially in quantifiers).