From 5ef08a4e4cf2099568a620e8bed01dfa8d77e9cc Mon Sep 17 00:00:00 2001
From: Ian Nigel Evans <ievans@cfa.harvard.edu>
Date: Wed, 20 May 2026 10:42:34 -0400
Subject: [PATCH] Update use case A.2.3

Updated UseCases.tex use case A.2.3 syntax for ADQL TMOC intersection; updated Makefile date.
---
 Makefile     | 2 +-
 UseCases.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 46e665c..dcae619 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ DOCNAME = HighEnergyObsCoreExt
 DOCVERSION = 1.0
 
 # Publication date, ISO format; update manually for "releases"
-DOCDATE = 2026-05-18
+DOCDATE = 2026-05-20
 
 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN
 DOCTYPE = PEN
diff --git a/UseCases.tex b/UseCases.tex
index a4d4125..a568fe1 100644
--- a/UseCases.tex
+++ b/UseCases.tex
@@ -459,7 +459,7 @@ \subsubsection{Use Case --- Search for M31 source light curves and aperture phot
 AND ((dataproduct_type = 'timeseries') OR (dataproduct_type = 'pdf'))
 AND (calib_level = 4)
 AND (energy_min <= 300.0) AND (energy_max >= 7000.0)
-AND (INTERSECTS(TMOC(17, t_intervals), ...) = 1)
+AND (INTERSECTS(TMOC(17, t_intervals), TMOC(17, 56320.0, 56325.0)) = 1)
 \end{verbatim}
 
 \subsubsection{Use Case --- Search for the CTAO flux light curves of PKS 2155-304 in 2030}