t » n ¬ t -t