KASset – Proof