3 ms·Think deeper. You can categorize proofs in to two sets, one is safe in visual and one is not.by est 10y agoThink deeper. You can categorize proofs in to two sets, one is safe in visual and one is not.