LOCAL / OFFLINE · V3

Case overview

PROVED: bounded source factSUPPORTED / INFERENCEOPEN / CLOSURECONTRARYEXTERNAL GATE