better theyrems than theyruses