failed list prime factors: record state
truth table and herbrandization