BACK cnn on low-tech proofs