JHAS – Proof