Bookkeeping with SIE4