Countable TA Rules Summary