@Louen would like TS if possible. can provide proofs.