Concrete Terms Can Never Be Undefined