sub sang_with {
	my ($p1, $p2, $continuation) = @_;
	unify_all(['frank', 'judy'], [$p1, $p2], $continuation);
	unify_all(['frank', 'dean'], [$p1, $p2], $continuation);
};