T ?- * a , t .. - t v.