higher bound on the
stack of failure
✕
___
less
is
and
in
stack
lines
proof
try
↺ Reset