Tseitin_intf
.
Arg