, , e ¬ d :4