~( e -> d ).