|
Bongard Problems sorted left have the keyword "missingproofs" on the OEBP.
This is an administrative keyword to help us keep track of what Bongard Problems we still need to check for correctness.
The description should indicate which examples are still in need of checking. Once proofs are found, the keyword "missingproofs" can be removed.
The keyword @noproofs is similar. The difference is whether we want/expect to find proofs. | 
