2 ms·I read "checking to see if it satisfies" as "proving", but I could be wrong.by yupper32 5y agoI read "checking to see if it satisfies" as "proving", but I could be wrong.