Arden proof