epsilon one and
re defined zero ___