4 ms·Ah, arbitrary heap-allocated structures a human can supply a proof for. Thanks; makes sense.by AlexCoventry 5y agoAh, arbitrary heap-allocated structures a human can supply a proof for. Thanks; makes sense.