tautological wffs

join shbcf.ru