Repeat the amortised analysis of simple persistent queues on two lists (in a single-use case), but using the banker's method. What is the credit invariant? Note that the reverse function on persistent?