E::=00 =00 E0::=0$;$$$$$$$¯0$;$$$$$$$$$$$$$$$$$$$$$$$=0$¯00