Select all that are true about the potential function used to analyse the time complexity of the ArrayDeque's add and remove operations:

A$)$ after a rebalance the potential function is $<1$

B$)$ if we do one add and one remove, the potential function does not change,

C$)$ it tracks the size difference between F$($front$)$ and B$($back$)$