% logic macros, to be filled from
% lmacros-f21.tex (15-814, F21) and lmacros-f16 (15816, F16)