KO Select Proofs - leebase