fixed proof for changed Issuable