Logical Methods presents LMD020 under the title Method T. The twentieth work is signed by Aridan Torke.