TAPL1

see: Adequacy