epsilon one and
re writes re ___