tactic ev2 complete; TTS syntax in witnessed-judgments.ts is simpler now