d ¬f