Sure, but Cdim(b13) could easily be written as Ab7/C in IRP.