(truth
(eval `(store alice ,alice))
(eval `(store dave ,dave))
(eval `(store justin ,justin))
(eval `(store mallory ,mallory))
(eval `(store oscar ,oscar))
)
(show
(findall t)
)
