digraph{Et->Et	Et{}Et->Et	Et}