now each theorem can specify its tactics set