#b see equals #initial interpretation #abstract representation #b symbol