$¬Th