Ally 4.8.19Ally proofs