formal
0010110