Pure computation: lethal damage lines, block values, threat model, deck counts, affordability. Jev never does arithmetic; facts.py computes the numbers and passes conclusions in.
