Example Proofset

K to FR 0-4