('((X) (list (lit X) (lit X))) '((X) (list (lit X) (lit X))))