S-TD Theorems abstract Aidan Young