Translate the following statements into symbolic form using capital letters to represent affirmative English statements.
If banks charge fees for teller-assisted transactions, then more people will use ATMs; and if that happens and ATM fees increase, then banks will close branches and profits will skyrocket.