FundamentalTheorem has tags.