t:s , t:s , adef