epsilon deleted, everything works