First commit: Prototype of HasTc