Assert in tests
Call helper, useful for constructing recursive goals
make sure gologic can do genealogy
formatting