[ale+proof.bmp]