Proof Integration | Apificial