kdrag.theories.logic.nominal.test

kdrag.theories.logic.nominal.test()
>>> True
True