test22.k revision 0810ba457e4ccea5700107013ffbc1a3e8dba103
((~[]a1)/\[]a1)<->((~a1)/\(<>~a1))\/[]T