epsilon one and
re writes ___