j ¬ : t r r fn