epsilon one and
re defined zero by ___