s_2 t_2 (a,b) (ps, grep, fgrep, [], ?)