TRL Semantics and Burgess’ Formula