Example Proofset

FR to K 0-4