EstR[2] 9.1(25) :ודאי מסמיק ליה‏ :
See the entire entry for waddāy adv. in reality, certainly

EstR[2] 9.1(25) :מסמיק ליה‏ :
See the entire entry for smq vb. to be red