Title: Mnemonic Verbalizations and Formal Rules in Problem-Solving