?ubst C:t , ss.