normal form
0
0
AD