New: proofifbrain