Able to prove the "splendid theorem"
Remove obsolete Term implementation.