a ?- tr , opp;