Comment out Weird and Phd until we have an idea how to handle multiple permutations. Transp that works for multiple existentials.

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];