using justify.  need to change to backtracing/backtracking/imply
podem works :D Now for further testing, to verify.