<$datum> <$agenda>