If s 4 and t 4 (43/48)

If s 4 and t 4