Karsyn proofs

THE CODE CREATIVES