Abstract Logic Worn Like Memory.