higher bound on the
stack of failure proof
✕
___
in
proof
ins
a
ways
boxes
lines
cases
↺ Reset