Talk:Logic table of supersets

& LPTT-1? Where it is?