Restrict to formulas.
Fussy indices.
Defense-preferring strategy.
Use CLOS.
Simplify.
CLOS.
Trim excess whitespace.