RCs to SMTs: Looking under the future