(truth
(eval `(store alice ,alice))
(eval `(store bob ,bob))
(eval `(store charlie ,charlie))
(eval `(store eve ,eve))
(eval `(store trent ,trent))
(insert alice general)
(insert bob general)
(insert charlie general)
(insert eve general)
(insert trent general)
)
(show
(findnextinset general t)
(findnextinset general t)
(findnextinset general t)
(findnextinset general t)
(findnextinset general t)
)