add Api.imply