completely rewritten sec4.4 on PTAs
completely rewritten sec4.4 on PTAs