g d t ¬ -d