SM ^ t to toC